Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
231	Harmony in Harmonic Grammar by Reevaluating Faithfulness Overview The weighted constraints of parallel Harmonic Grammar (HG; Legendre et al. 1990; Paterhave been argued to be necessary in order to model many langu Add to Reading List Source URL: linguistics.concordia.ca Language: English Phonology Optimality theory Harmonic Grammar Autosegmental phonology Mathematical optimization
232	Emergence and Collapse of Order in Mutually Imitating Agents Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2015-07-07 15:35:12 Systems theory Cellular automata Cellular automaton Emergence Dynamical system Entropy Coupled map lattice
233	BRICS Basic Research in Computer Science BRICS RSDanvy & Rose: Higher-Order Rewriting and Partial Evaluation Higher-Order Rewriting and Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Lambda calculus Computability theory Theoretical computer science Logic in computer science Combinatory logic Recursion Term Free variables and bound variables Lambda calculus definition
234	US Options Auction Process Add to Reading List Source URL: cdn.batstrading.com Language: English - Date: 2016-08-01 11:02:02 Auction theory Auctions Stock market Order Auction Trade Me
235	Section A For questions 1-60, choose the correct answer. Mark the letter A, B, C or D as in the example Add to Reading List Source URL: www.sjo.wat.edu.pl Language: English - Date: 2016-03-23 06:14:54 Order theory Ordered pair Type theory The Chitling test Leibniz integral rule
236	To appear in Sergio Scalise, Elisabetta Magni, Antonietta Bisetto (eds.), Universals of Language Today, Berlin: Springer. The Branching Direction Theory of Word Order Correlations Revisited1 Matthew S. Dryer University a Add to Reading List Source URL: linguistics.buffalo.edu Language: English - Date: 2008-10-20 15:11:15 Grammar Linguistic typology Syntactic categories Syntax Parts of speech Phrase Noun phrase Clause Argument Dependency grammar OV language Relative clause
237	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type
238	A Presentation of the Specification And Verification Project “ABEL”∗ Ole-Johan Dahl and Olaf Owe Department of Informatics University of Oslo Norway Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2015-09-03 07:24:29 Model theory First-order logic Type Hoare logic Unification
239	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
240	Chain Minors are FPT Jarosław Błasiok Marcin Kaminski ´ Add to Reading List Source URL: rutcor.rutgers.edu Language: English - Date: 2013-09-05 02:18:24 Order theory Preorder Binary relation Partially ordered set

UPDATE